Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
201	Sequences Generated by Neuronal Automata with Memory Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:17 Theory of computation Control theory Integer sequences Stochastic differential equations Binomial coefficient Kalman filter Mathematics Algebra Recurrence relation
202	Lemma 1 Ref: DS/FMU/FEF/006 DRA FRONT END FILTER PROJECT Issue: Revision : 4 .3 Security Conjecture for the SSQL Abstract Machine Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:10 Models of computation Procedural programming languages Automata theory Finite-state machine ALGOL 68 SQL Abstraction Set Computing Software engineering Computer programming
203	Proceedings Template - WORD Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 08:21:16 Multi-agent systems Science Computing Scientific modeling DEVS Agent-based model Cognitive science AgentSpeak LIDA Artificial intelligence Cognitive architecture Automata theory
204	An Efficient Algorithm for the Detection of Eden Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2014-03-11 12:49:15 Garden of Eden Dynamical system Algorithm Combinatorics Graph theory Automata theory Cellular automata Mathematics Cellular automaton
205	Research on Intelligent Automata (Proposal ESU 69-68; 9 June 1969) Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-07 17:14:21 Problem solving Psychology Robot Intelligence Automated theorem proving Education Theoretical computer science Automata theory Cellular automaton Educational psychology Cellular automata Neuropsychological assessment
206	Distribution of Linear Rules in Cellular Automata Rule Space Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:33:18 Coding theory Binomial coefficient Combinatorics Linear combination Greatest common divisor Cellular automaton Linear code Mathematics Abstract algebra Linear algebra
207	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
208	Language Complexity of Unimodal Systems Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:58 Combinatorics on words Automata theory Dynamical systems Ergodic theory Subshift of finite type Shift space Monoid Orbifold Mathematics Mathematical analysis Combinatorics
209	Automated Grading of DFA Constructions ∗ Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-04-24 11:35:08 Applied mathematics Deterministic finite automaton DFA minimization Nondeterministic finite automaton Regular expression DFA Records Normal distribution Regular language Structure Automata theory Theoretical computer science Computer science
210	The Entropy of Linear Cellular Automata with Respect to Any Bernoulli Measure Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:02 Mathematics Information theory Thermodynamics Statistical theory Randomness Topological entropy Entropy Measure-preserving dynamical system Subshift of finite type Ergodic theory Statistics Thermodynamic entropy

UPDATE